A Computationally Grounded, Weighted Doxastic Logic

A Computationally Grounded Logic of Visibility, Perception, and Knowledge

VSK logic is a family of multi-modal logics for reasoning about the information properties of computational agents situated in some environment. Using VSK logic, we can represent what is objectively true of the environment, the information that is visible, or knowable about the environment, information the agent perceives of the environment, and finally, information the agent actually knows abo...

A Computationally Grounded

Dynamic Doxastic Probability Logic

In this paper we will propose a dynamic doxastic probability logic which is inspired by two already existing systems and tries to meet them somewhere in between. On the one hand you have the original simple Kooi system of public announcement logic with hard public information only, and on the other hand you have the very rich and powerful BGK system of van Benthem, Gerbandy and Kooi [5]. Public...

Sequence Semantics for Doxastic Logic

In this paper we investigate sequence semantics for the modal logic of belief. This semantics differs from the previously considered in this that it allows flexibility in dealing with beliefsthose does not need to be closed under provability. We prove completeness theorem for such logic (with respect to this semantics) and show that stable theories correspond to constant models. Department of C...

Computationally Grounded Theories of Agency

In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can give the theory an interpretation in terms of some concrete computational model. This requirement is essential if we are to claim that the theories we develop can be understood as expressing properties of real multiagent...